class ITEMS[E]
	
creation
make
feature make is do end
	push_back(e:E) is
do
	end
end -- class ITEMS